1. Algebraic Theories
پدیدآورنده : by Ernest G. Manes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.
2. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
3. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
4. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
5. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
6. Algebraic theories
پدیدآورنده : / Ernest G. Manes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Algebra, universal
رده :
512
M274
7. Algebraic theories
پدیدآورنده : Manes, Ernest G.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
8. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
9. Algebraic theories
پدیدآورنده : Manes, Ernest G.,3491-, E. G. Manes
موضوع : ، Algebra, Universal,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Arrows, structures, and functors :
پدیدآورنده : Michael A. Arbib, Ernest G. Manes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra,Categories (Mathematics),Functor theory
رده :
QA169
.
A7
11. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
